On the Rationality of Explanations in Classification Algorithms

This paper is a first step towards studying the rationality of explanations produced by up-to-date AI systems. Based on the thesis that designing rational explanations for accomplishing trustworthy AI is fundamental for ethics in AI, we study the rationality criteria that explanations in classification algorithms have to meet. In this way, we identify, define, and exemplify characteristic criteria of rational explanations in classification algorithms

Por qué estudiar un paisaje: ses Salines de Eivissa y Formentera

Aquest article pretén impulsar estudis multidisciplinaris per poder obtenir informacions paleoambientals, tan decisives per explicar la interrelació home-medi en el territori. L’explotació de la sal fou un dels recursos més florents en el desenvolupament comercial durant l’antiguitat. És més que probable que, a través de les rutes marítimes, Eivissa fos un dels centres productors i exportadors de sal més importants de la Mediterrània. La poca documentació sobre aquest tipus d’indústria fa que en aquest estudi s’hagi treballat sobre hipòtesis per poder entendre la dinàmica de la sal

Spatial reasoning about qualitative shape compositions. Composing Qualitative Lengths and Angles

Shape composition is a challenge in spatial reasoning. Qualitative Shape Descriptors (QSD) have proven to be rotation and location invariant, which make them useful in spatial reasoning tests. QSD uses qualitative representations for angles and lengths, but their composition operations have not been defined before. In this paper, the Qualitative Model for Angles (QMAngles) and the Qualitative Model for Lengths (QMLengths) are presented in detail by describing their arity, reference systems and operators. Their operators are defined taking the well-known temporal model by Allen (1983) as a reference. Moreover, composition tables are built, and the composition relations of qualitative angles and lengths are proved using their geometric counterparts. The correctness of these composition tables is also proved computationally using a logic program implemented using SwiProlog

Propuesta de intervención didáctica basada en los juegos interculturales en las Comunidades de Aprendizaje

Uno de los cambios más importantes que se están presentando en el marco de la sociedad de la información es el de la inmigración y concretamente la diversidad cultural (multiculturalidad), que tiene una gran incidencia en la escuela. Las necesidades que van surgiendo continuamente hacen plantear al contexto educativo nuevas perspectivas y proyectos que se adapten a la sociedad en la que vivimos. Este tema es de gran importancia en el planteamiento educativo de las Comunidades de Aprendizaje, que poco a poco se va extendiendo la transformación en numerosos centros de nuestro país. De este modo, tras realizar una revisión bibliográfica de varios autores sobre el tema en cuestión, este trabajo de fin de grado pone en práctica una intervención didáctica que se inspira en el Aprendizaje Dialógico para contribuir al desarrollo de la Educación Intercultural. Trabajamos los “juegos del mundo” en el área de Educación Física y comprobamos los beneficios de las medidas de éxito en esta área.Grado en Educación Primari

Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic

This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Los--Tarski and the Chang--Los--Suszko preservation theorems follow